An Outline of ALX 3 , a Multi - Agent Action
نویسنده
چکیده
ALX3 is a multi-agent version of ALX with a rst-order description language. ALX, a modal action logic, combines ideas from H.A. Simon's bounded rationality, S. Kripke's possible world semantics, G. H. von Wright's preference logic, Pratt's dynamic logic, and Stalnaker's conditional logic. ALX avoids important drawbacks of other action logics, especially the counterintuitive necessi-tation rule for goals (every theorem must be a goal) and the equally counterin-tuitive closure of goals under logical implication. ALX3 is sound and complete, and is already proving its practical use in the formal representation of modern organization theory.
منابع مشابه
A Brief Outline of ALX3, a Multi-Agent Action Logic
ALX3 is a multi-agent version of ALX with a first-order description language. ALX3 is sound and complete, and is already proving its practical use in the formal representation of modern organization theory.
متن کاملThe Logic of Permission and Obligation in the Framework of ALX.3: how to avoid the paradoxes of deontic logics
Standard deontic logic features fairly serious socalled “paradoxes” (technically: counterintuitive validities). Much energy in deontic logic has been spendt on avoiding these “paradoxes”. We suggest a reformulation of deontic logic in terms of a multiagent logic, ALX.3, where a “super-agent” (think of a legislature) lays down the law of the land and other agents have to follow its rules. In par...
متن کاملA Framework for Recognizing Multi-Agent Action from Visual Evidence
A probabilistic framework for representing and visually recognizing complex multi-agent action is presented. Motivated by work in model-based object recognition and designed for the recognition of action from visual evidence, the representation has three components: (1) temporal structure descriptions representing the temporal relationships between agent goals, (2) belief networks for probabili...
متن کاملRepresentation and Visual Recognition of Complex, Multi-agent Actions using Belief Networks
A probabilistic framework for representing and visually recognizing complex multi-agent action is presented. Motivated by work in model-based object recognition and designed for the recognition of action from visual evidence, the representation has three components: (1) temporal structure descriptions representing the logical and temporal relationships between agent goals, (2) belief networks f...
متن کاملRepresentation and Visual Recognition of Complex , Multi - agent Actions using Belief
A probabilistic framework for representing and visually recognizing complex multi-agent action is presented. Motivated by work in model-based object recognition and designed for the recognition of action from visual evidence , the representation has three components: (1) temporal structure descriptions representing the logical and temporal relationships between agent goals, (2) belief networks ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007